perm filename INTELL[W79,JMC] blob sn#417815 filedate 1979-02-14 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	Programs for an intelligent system in Lisp
C00003 ENDMK
CāŠ—;
Programs for an intelligent system in Lisp

1. pattern matching including patterns with bound variables and
higher order variables

2. compiler that compiles statements with set theoretic constructs
into Lisp